$\forall$${\it es}$:ES, $A$:Type, $f$:Top, ${\it Ia}$:AbsInterface($A$), $e$:E. ($e$ $\in_{b}$ $f$'${\it Ia}$) $\sim$ ($e$ $\in_{b}$ ${\it Ia}$)